Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·2h
📏Linear Logic
SupraEVM 50% faster than Monad
supra.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Using an LLM on the Advent of Code
funcall.blogspot.com·13h·
⚔️Lean Tactics
Cracking the Code: Unveiling LLM Secrets with Vector Architectures by Arvind Sundararajan
dev.to·28m·
Discuss: DEV
💻Local LLMs
Using GraphViz for CLAUDE.md
blog.fsck.com·1d
⚔️Lean Tactics
Discrete Fourier Transform
nima101.github.io·43m·
Discuss: Hacker News
📐Error Bounds
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·12h·
Discuss: Hacker News
🌳Persistent Data Structures
jabrena/cursor-rules-java
github.com·4h
📐Proof Assistants
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
CI/CD for AI: Running Evals on Every Commit
focused.io·17h·
Discuss: Hacker News
🔍Concolic Testing
A Puzzling Performance Puzzle
kodewerk.com·1h·
Discuss: Hacker News
🧪Binary Fuzzing
Subtext Retrospective
subtext-lang.org·2h·
Effect Handlers
Sguaba: Type-safe spatial math in Rust
youtube.com·16h
🦀Rust Borrowing
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·22h
🔗Topological Sorting
Show HN: Give LLMs TypeScript tools without writing MCP servers
github.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·13h
🎙️Whisper
Rebuilding Devin for Claude Sonnet 4.5: Lessons and Challenges
cognition.ai·10h·
Discuss: Hacker News
⚙️TLA+
Predictive Maintenance Optimization via Digital Twin Lifecycle Scoring
dev.to·11h·
Discuss: DEV
📏Code Metrics
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
100X Faster: How We Supercharged Netflix Maestro’s Workflow Engine
netflixtechblog.com·14h·
Discuss: Hacker News
🌊Streaming Systems